Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540876038 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257220403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Software Engineering [Risorsa elettronica] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Antonio Cisternino
| Advances in Software Engineering [Risorsa elettronica] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Antonio Cisternino |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540897620 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258550403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computability, complexity, logic / E. Börger
| Computability, complexity, logic / E. Börger |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1989 |
| Descrizione fisica | xx, 592 p. ; 23 cm. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 128 |
| Soggetto topico |
Computable functions
Computational complexity Mathematical logic Symbolic logic |
| ISBN | 0444874062 |
| Classificazione |
AMS 03D
AMS 03D05 AMS 03D15 AMS 68Q QA9.59.B6713 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773079707536 |
Borger, Egon
|
||
| Amsterdam : North-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computabilità complessità logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Borger
| Computabilità complessità logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Borger |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1989 |
| Descrizione fisica | 369 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Testi e manuali della scienza contemporanea, Serie di informatica |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 88-339-5434-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001091730403321 |
|
Borger, Egon
|
||
| Torino : Bollati Boringhieri, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
| Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter |
| Autore | Borger, Egon |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Oberschelp, Walter
Richter, Michael M. Schinzel, Brigitta Thomas, Wolfgang |
| Soggetto topico | Recursion theory |
| ISBN | 354013901X |
| Classificazione |
AMS 03D
AMS 03F AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773229707536 |
|
Borger, Egon
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding
| Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 456 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Altri autori (Persone) |
Hasenjaeger, G. author
Rodding, D. |
| Soggetto topico |
Computational complexity - Congresses
Decision making - Congresses Machine theory - Congresses |
| ISBN | 3540133313 |
| Classificazione |
AMS 03D05
AMS 62C AMS 68-06 AMS 90A05 QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001094149707536 |
|
Borger, Egon
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The Classical Decision Problem / Egon Borger, Erich Gradel, Yuri Gurevich
| The Classical Decision Problem / Egon Borger, Erich Gradel, Yuri Gurevich |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 2001 |
| Descrizione fisica | xii, 482 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica
Logica pura del primo ordine Teoria dei modelli |
| ISBN | 3-540-42324-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001493800403321 |
| Borger, Egon | ||
| Berlin : Springer-Verlag, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||